"....report error conditions originating from the operating system or low-level application program interfaces."

报告源于操作系统或低层程序接口的错误。 更进一步说，< system_error >提供了用于报告该方面错误的异常机制，是对的扩展。

物以类聚，功能也以“类”分。 刚看到这个头文件的内容，我也有点懵逼，让我们先理清类与类之间的关系：

虽然这几个类之间存在非常复杂的转换构造关系（实际上error_condition也可以通过error_category构造，但为了思路清晰，涂中没有给出），但我们记住一点----system_error是runtime_error的子类，是异常类。 因此在使用时，我们只要抓住system_error类就行了，构造并抛出。

这里system_error主要有两种构造方法：

这样一来我们的使用思路就很清晰了，都在图中，具体细节这里就不赘述了。

这里有个有趣的东西：

从名字就能推测出，这两个结构体用来控制其他类型到error_code和error_condition类型的自动转换。 说到自动转换，肯定是通过类的conversion constructor进行的。

那么问题就来了，想要能进行类型转换，肯定得定义一个转换构造器；如果不想，就不能定义。 但这里只通过显示特化上面两个类，就能实现上述行为，这是怎么做到的呢？ 这利用了模板函数 对重载决议的影响，也就是SFINAE（Substitute Error Is Not An Error）。

下面举个例子：